arm/domain: fix comment for arch_set_info_guest
authorLuca Fancellu <luca.fancellu@arm.com>
Fri, 5 Aug 2022 13:08:00 +0000 (14:08 +0100)
committerJulien Grall <jgrall@amazon.com>
Mon, 22 Aug 2022 08:08:15 +0000 (09:08 +0100)
commit58ce731faca28cb08f7c1b8c79b59fed47d0b2c2
tree9ec0f2007a23bdb9de598fdebc07e2fd087bcafd
parentf6cd15188e097de1eb04855eb790a5f51c3ad71a
arm/domain: fix comment for arch_set_info_guest

The function arch_set_info_guest is not reached anymore through
VCPUOP_initialise on arm, update the comment.

Signed-off-by: Luca Fancellu <luca.fancellu@arm.com>
Acked-by: Julien Grall <jgrall@amazon.com>
xen/arch/arm/domain.c